PROOFS AND TYPES JEAN-YVES GIRARD Translated and with appendices by PAUL TAYLOR

Source URL: www.cs.man.ac.uk

• Logic
• Mathematical logic
• Theoretical computer science
• Proof theory
• Logic in computer science
• Models of computation
• Formal methods
• Metalogic
• Denotational semantics
• Linear logic
• Natural deduction
• Cut-elimination theorem

Appendix E: Some challenges of a human- and computerreadable semantic representation of mathematics For computers to deal intelligently with a mathematical result, the result must be codified in an unambiguous semantic m

Source URL: www.wolframfoundation.org

• Mathematics
• Academia
• Theoretical computer science
• Semantics
• Logic
• Semantic memory
• Semantic wiki

To appear in Theoretical Computer Science. Born and raised distributively: Fully distributed non-interactive adaptively-secure threshold signatures with short sharesI Benoˆıt Libert Ecole Normale Sup´erieure de Lyon,

Source URL: joye.site88.net

Deciding Relaxed Two-Colorability — a Hardness Jump Robert Berke and Tibor Szab´ o Institute of Theoretical Computer Science, ETH Z¨ urich, 8092 Switzerland.

Source URL: page.mi.fu-berlin.de

ROSAEC MEMO ROSAECSeptember 6, 2011 CPS Transformation of Lisp-Like Multi-Staged Languages

Source URL: ludovicpatey.com

• Software engineering
• Logic
• Declarative programming
• Models of computation
• Computability theory
• Lambda calculus
• Theoretical computer science
• Continuation-passing style
• Free variables and bound variables
• Substitution

Partial Orders and Immunity in Reverse Mathematics Ludovic Patey Laboratoire PPS, Université Paris Diderot, Paris, FRANCE

Source URL: ludovicpatey.com

• Theoretical computer science
• Logic in computer science
• Mathematics
• Mathematical logic
• Combinatory logic
• Lambda calculus
• Unification
• Computability theory
• Differential forms on a Riemann surface
• Fredholm alternative

Math´ematiques `a rebours et un Lemme de K¨onig Faible de Type Ramsey Stage de Master 2 - MPRI mars - aoˆ ut 2012 Ludovic Patey ∗

Source URL: ludovicpatey.com

• Mathematical logic
• Computability theory
• Mathematics
• Theoretical computer science
• Proof theory
• Logic in computer science
• Theory of computation
• Second-order arithmetic
• Combinatory logic
• Reverse mathematics
• Computable function

Steering Flexible Needles Under Markov Motion Uncertainty∗ Ron Alterovitz and Andrew Lim Gregory S. Chirikjian and Allison M. Okamura Ken Goldberg

Source URL: goldberg.berkeley.edu

• Mathematics
• Physics
• Motion planning
• Theoretical computer science
• Nonholonomic system
• Needle
• Curvature

Microsoft Word - thesis.doc

Source URL: www.eecs.tufts.edu

• Mathematical logic
• Algorithm
• Theoretical computer science
• Petri net
• Computer science
• Machine learning
• Electromagnetism
• Cognitive science
• Engineering